THE ESSENCE OF STRATEGIC PROGRAMMING An inquiry into trans-paradigmatic genericity

نویسندگان

  • Ralf Lämmel
  • Eelco Visser
  • Joost Visser
چکیده

Strategic programming is an idiom for generic programming where the concept of a strategy plays a central role. A strategy is a generic, dataprocessing action. Strategies are first-class citizens as witnessed by a combinator style. Two important characteristics of strategies are that they can traverse into compound data, and that they can be customized by type-specific actions. We provide a general definition of strategic programming, and we demonstrate how this idiom can be realized inside several programming language paradigms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Practical faith and affirmative faith; an inquiry on the essence of fait

  The word faith, religiously considered, has different meanings. Its general application in the sense of living based on Divine religion absolutely and more general than the function of the parts of human body that makes the essence of faith. In a particular application, it means hearty affirmation called the head of faith by which is established the essence of faith. The application of faith...

متن کامل

An application of logarithmic fuzzy preference programming-based AHP and FRS techniques to develop and prioritize strategic objectives

Vital decisions made at the strategic level in an organization are not only intricate but also costly to alter. It is therefore important to find a comprehensive approach to deal with such a possibility. One of the major problems of a common balanced scorecard (BSC)-based model in strategic management is lack of a ranking system for strategic objectives in order to enable prioritization of the ...

متن کامل

Flow Logic: A Multi-paradigmatic Approach to Static Analysis

Flow logic is an approach to static analysis that separates the specification of when an analysis estimate is acceptable for a program from the actual computation of the analysis information. It allows one not only to combine a variety of programming paradigms but also to link up with state-of-the-art developments in classical approaches to static analysis, in particular data flow analysis, con...

متن کامل

ar X iv : c s . D B / 0 50 30 12 v 2 7 M ar 2 00 5 First - order Complete and Computationally Complete Query Languages for Spatio - Temporal Databases 1

We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under groups of g...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002